LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
XAI: Your Indispensable Compass for AI Regulatory Compliance
dev.to·20h·
Discuss: DEV
⚖️Constraint Logic
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
Database Relationships Explained: From Theory to Rails Implementation From Core Concepts to Building Robust Rails Applications
blog.codeminer42.com·1d
🗄️Database Internals
Cactus Language • Syntax 11
inquiryintoinquiry.com·1d
📝Concrete Syntax
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.ai·19h·
Discuss: Hacker News
🤖Archive Automation
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·1d
🌳Archive Merkle Trees
CLGRPO: Reasoning Ability Enhancement for Small VLMs
arxiv.org·1d
📏Linear Logic
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Introduction to the Fundamentals of Amazon Redshift
redshift-observatory.ch·5h
🗃️Database Storage
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·2d
💻Programming languages
Counting with Categories (Part 3)
golem.ph.utexas.edu·22h
λLambda Formalization
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·21h·
Discuss: Hacker News
💻Local LLMs
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·2h·
Discuss: Hacker News
🔗Constraint Handling
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.com·7h
📝Concrete Syntax
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Declarative Programming: SQL, HTML, CSS, Prolog Guide
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
Machine Learning Fundamentals: accuracy with python
dev.to·22h·
Discuss: DEV
👁️Observatory Systems
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·10h
💻Local LLMs